well-formed formula
英 [wel fɔːmd ˈfɔːmjələ]
美 [wel fɔːrmd ˈfɔːrmjələ]
网络 合式公式; 合适公式
双语例句
- MP~ therefor has one more formal rule than does MP. That is when A, B are well-formed formulas, then A B is also a well-formed formula.
于是MP°要比MP多一条形成规则：即当A，B为合式公式时，则AB也是合式公式。 - That is when A, are well-formed formulas, then A B is also a well-formed formula.
B也是合式公式。 - A logical form is a well-formed formula, a structured set of constituents, which undergoes formal logical operations determined by its structure.
一个逻辑形式就是一个完整的公式、一套有结构的构成成分以及要经过由其结构决定的形式逻辑运作。